1. Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski
پدیدآورنده : Antonis C. Kakas, Fariba Sadri )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert
رده :
QA
76
.
L28
Vol
.
2407-2408